Section: New Software and Platforms

Checkers

Checkers - A proof verifier

Keywords: Proof - Certification - Verification

Functional Description: Checkers is a tool in Lambda-prolog for the certification of proofs. Checkers consists of a kernel which is based on LKF and is based on the notion of ProofCert.

• Participants: Giselle Machado Nogueira Reis, Marco Volpe and Tomer Libal

• Contact: Tomer Libal

• URL: https://github.com/proofcert/checkers